fun math proof